Llistar TÃtols
S'han trobat 2 Ãtems
Llistant Ãtems des de 0 a 2:
S'han trobat 2 Ãtems
Llistant Ãtems des de 0 a 2:

Automatic theorem proving Logic programming Teoremes -- Demostració automà tica Programació lògica Sistemes borrosos Fuzzy systems Lògica difusa

Moreno, Ginès Almendros-Jimenez, Jesùs M. Ministerio de EconomÃa y Competitividad (Espanya) Villaret i Ausellé, Mateu Bofill Arasa, Miquel Luna-Tedesqui, Alejandro Almendros-Jiménez, Jesús M.